relational computation oracle